Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
241	surfaces of revolution E. L. Lady Start with a curve given parametriclly in the xz -plane, viz. β(v) = (x(v), 0, z(v)) = (ϕ(v), 0, ψ(v)). Revolving this curve around the z -axis yields a surface which we can describe Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:48:38 Differential geometry of surfaces Curvature Group theory Linear algebra Vector space Darboux frame Linear temporal logic Algebra Mathematics Differential geometry
242	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: kuester.multics.org Language: English - Date: 2015-05-08 04:15:01 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
243	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
244	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
245	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
246	Journal of Consumer Research, Inc. Looking into the Future: A Match between Self-View and Temporal Distance Author(s): Gerri Spassova and Angela Y. Lee Source: Journal of Consumer Research, Vol. 40, No. 1 (June 2013), p Add to Reading List Source URL: www.ejcr.org Language: English - Date: 2014-07-03 17:40:43 Behavioural sciences Science Framing Construal level theory Affect Modal logic Social psychology Construals Mind
247	Edge state integrals on shaped triangulations Rinat Kashaev University of Geneva joint work with F.Luo and G. Vartanov arXiv:EMS/DMF Joint Mathematical Weekend Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-04-25 09:56:55 Physics Operator theory Mathematical analysis Conformal field theory Lie algebras Linear temporal logic Μ operator Symbol Logarithm Mathematics
248	PDF Document Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Mathematics Interpretation Structure Symbol Linear temporal logic Golden ratio base Model theory Metalogic Logic
249	1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
250	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2014-11-06 22:01:57 Distribution Functional analysis Dirac delta function Siméon Denis Poisson Euler equations Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis

UPDATE